161. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
162. Logica universalis
پدیدآورنده : / Jean-Yves Beziau, editor
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical,Model theory
رده :
QA9
.
2
.
L64
2005
163. Mathematical logic : an introduction to model theory
پدیدآورنده : Lightstone, A. H.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
L54
164. Mathematical logic; an introduction to model theory
پدیدآورنده : / A. H. Lightstone edited by H. B. Enderton
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical,Model theory
رده :
511
.
3
L724
165. Mathematical logic and model theory : a brief introduction
پدیدآورنده : Prestel, Alexander, 1491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P743M3
166. Mathematical logic and model theory a brief introduction
پدیدآورنده : Prestel, A.)Alexander(,1491-, Alexander Prestel, Charles N. Delzell
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
169
.
M3
P7
2011
167. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: Central Library and Documentation Center (Golestan)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
M38
168. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
2011
169. Media theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Model theory. ; Combinatorial group theory. ; Set theory. ; Modellen (theorie) ; gtt. ; Numerieke wiskunde. ; gtt. ; Systeemtheorie ; gtt. ;
170. Media theory: interdisciplinary applied mathematics
پدیدآورنده : Eppstein, David
کتابخانه: (Semnan)
موضوع : ، Model theory,، Combinatorial group theory,، Set theory,، Modellen )theorie(,، Numerieke wiskunde,، Systeemtheorie
رده :
QA
9
.
7
.
M43
2008
171. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
172. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
173. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : / A. S. Troelstra
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Intutitionistic mathematics,Proof Theory,Model Theory
رده :
510
.
8
Me
174. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
175. Model-Based Reasoning in Science and Technology
پدیدآورنده : \ Lorenzo Magnani, Claudia Casadio Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Knowledge, Theory of,شناخت (فلسفه),a04,a04,Model-based reasoning.
رده :
E-Book
,
176. Model categories
پدیدآورنده : Mark Hovey
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Model categories )Mathematics(,Homotopy theory,Complexes
رده :
QA
169
.
H68
1999
177. Model categories
پدیدآورنده : Hovey, Mark
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Model categories )Mathematics(,، Homotopy theory,، Complexes
رده :
QA
169
.
H68
1991
178. Model categories and their localizations
پدیدآورنده : Hirschhorn, Philip S. )Philip Steven(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Model categories )Mathematics(,، Homotopy theory
رده :
QA
169
.
H57
2003
179. Model categories and their localizations
پدیدآورنده : Hirschhorn, Philip Steven
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Model categories )Mathematics(,، Homotopy theory
رده :
QA
169
.
H57
2003
180. Model theoretic algebra : With particular emphasis on fields, rings, modules
پدیدآورنده : Jensen, Christian Ulrik, 6391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory,، Algebra
رده :
QA
9
.
7
.
J3
